5 M ar 2 00 8 Algebras of higher operads as enriched categories
نویسندگان
چکیده
We decribe the correspondence between normalised ω-operads in the sense of [1] and certain lax monoidal structures on the category of globular sets. As with ordinary monoidal categories, one has a notion of category enriched in a lax monoidal category. Within the aforementioned correspondence, we provide also an equivalence between the algebras of a given normalised ωoperad, and categories enriched in globular sets for the induced lax monoidal structure. This is an important step in reconciling the globular and simplicial approaches to higher category theory, because in the simplicial approaches one proceeds inductively following the idea that a weak (n + 1)-category is something like a category enriched in weak n-categories, and in this paper we begin to reveal how such an intuition may be formulated in terms of the machinery of globular operads.
منابع مشابه
Combinatoric N-fold Categories and N-fold Operads
Operads were originally defined as V-operads, that is, enriched in a symmetric or braided monoidal category V. The symmetry or braiding in V is required in order to describe the associativity axiom the operads must obey, as well as the associativity that must be a property of the action of an operad on any of its algebras. A sequence of categorical types that filter the category of monoidal cat...
متن کاملCombinatorial N-fold Monoidal Categories and N-fold Operads
Operads were originally defined as V-operads, that is, enriched in a symmetric or braided monoidal category V. The symmetry or braiding in V is required in order to describe the associativity axiom the operads must obey, as well as the associativity that must be a property of the action of an operad on any of its algebras. A sequence of categorical types that filter the category of monoidal cat...
متن کاملar X iv : m at h / 04 07 20 9 v 1 [ m at h . A T ] 1 2 Ju l 2 00 4 HOMOLOGY AND COHOMOLOGY OF E ∞ RING SPECTRA
Every homology or cohomology theory on a category of E∞ ring spectra is Topological André–Quillen homology or cohomology with appropriate coefficients. Analogous results hold for the category of A∞ ring spectra and for categories of algebras over many other operads.
متن کاملAlgebras of higher operads as enriched categories II
One of the open problems in higher category theory is the systematic construction of the higher dimensional analogues of the Gray tensor product. In this paper we continue the work of [7] to adapt the machinery of globular operads [4] to this task. The resulting theory includes the Gray tensor product of 2-categories and the Crans tensor product [12] of Gray categories. Moreover much of the pre...
متن کاملSteps toward the weak higher category of weak higher categories in the globular setting
We start this article by rebuilding higher operads of weak higher transformations, and correct those in cite{Cambat}. As in cite{Cambat} we propose an operadic approach for weak higher $n$-transformations, for each $ninmathbb{N}$, where such weak higher $n$-transformations are seen as algebras for specific contractible higher operads. The last chapter of this article asserts that, up to precise...
متن کامل